- [计] 定理证明系统
- theorem proving: 定理证明
- automated theorem proving: 自定理明; 自动定理证明
- automatic theorem proving: 自动定理证明
- mechanical theorem proving: 机器证明
- non-resolution theorem proving: 非解析定理求解
下载手机词典可随时随地查词查翻译
theorem-proving system中文什么意思
发音:
- [计] 定理证明系统
下载手机词典可随时随地查词查翻译